["AND-OR Queuing in Extended Concurrent Prolog", J. Tanaka et

al, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].